Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
741	HPMPC - A new software package with efficient solvers for Model Predictive Control Gianluca Frison, John Bagterp Jørgensen Technical University of Denmark CITIES Second General Consortium Meeting, Add to Reading List Source URL: smart-cities-centre.org Language: English - Date: 2015-05-27 10:38:14 Optimal control Stochastic control Model predictive control Mathematical optimization Systems science Control theory Cybernetics Linear-quadratic-Gaussian control
742	A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic
743	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
744	Microsoft Word110139 Add to Reading List Source URL: www.lasg.ac.cn Language: English - Date: 2012-03-08 21:44:30 Monte Carlo methods Estimation theory Markov models Weather prediction Statistical forecasting Limited-memory BFGS BFGS method Markov chain Monte Carlo Mixture model Statistics Probability and statistics Mathematical sciences
745	A STUDY INTO THE EFFECT OF DIFFERENT FORMULATIONS OF THE METROPOLIS-HASTINGS ALGORITHM IN ESTIMATING MODEL PARAMETERS AND ERRORS Edmund Ryan, Mat Williams, Shaun Quegan Department of Applied Mathematics, University Add to Reading List Source URL: www.nceo.ac.uk Language: English* - Date: 2013-05-09 14:08:40 Mathematics Mathematical optimization Bayesian statistics Algorithm Mathematical logic Theoretical computer science Genetic algorithm Estimation theory Credible interval Statistics Statistical inference Applied mathematics
746	How Equilibrium Prices Reveal Information in a Time Series Model with Disparately Informed, Competitive Traders∗ Todd B. Walker† January 2007 Abstract. Accommodating asymmetric information in a dynamic asset pricing Add to Reading List Source URL: pages.iu.edu Language: English - Date: 2009-09-27 20:58:46 Rational choice theory Rational expectations Sunspots Economic model Macroeconomic model Mathematical optimization Economic equilibrium Macroeconomics Economics New classical macroeconomics
747	Call 24 Autumn School on ‘Elaborating a discrete-time dynamic microsimulation model with LIAM2, an open source development tool’ Add to Reading List Source URL: inclusivegrowth.be Language: English - Date: 2015-05-04 08:26:27 Mathematics Scientific modelling Centre for Population Poverty and Public Policy Studies Simulation Mathematical model Ethology Epistemology Simulation software Macroeconomics Microsimulation
748	Pseudopotentials (Part I): Georg KRESSE ¨ Materialphysik and Center for Computational Materials Science Institut fur Universit¨at Wien, Sensengasse 8, A-1090 Wien, Austria Add to Reading List Source URL: cms.mpi.univie.ac.at Language: English - Date: 2003-02-06 08:11:56 Chemistry Quantum mechanics Electronic band structure Free electron model Bloch wave Hamiltonian Periodic function Physics Condensed matter physics Mathematical analysis
749	Building Dynamic Knowledge Graphs Lise Getoor Department of Computer Science University of California Santa Cruz, CA 95064 Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Statistics Statistical models Graph theory Theoretical computer science Algorithm Mathematical model Bayesian network Factor graph Mathematics Graphical models Bayesian statistics
750	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra

UPDATE